either('a, 'b) => 'a